<?php

$name = "Tehchmania";

?>
